Philip Wadler - PDFSEARCH.IO - Document Search Engine

Philip Wadler
Results: 73

#	Item
41	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:06:46 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming
42	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
43	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:07:18 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming
44	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
45	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
46	You and Your Research & The Elements of Style Philip Wadler University of Edinburgh Summer School on Trends in Computing Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-07-09 09:27:10 Mathematics Computer arithmetic Hamming Next Magazine Politics and the English Language Computer science Academia Coding theory Error detection and correction Richard Hamming
47	Linear types can change the world! Philip Wadler University of Glasgow copy a = (a ; a ); Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-02-23 02:55:52 Computer programming Program analysis Type system Type theory Linear programming Array data type Foreach loop Monad Comparison of programming languages Computing Software engineering Data types
48	Faith, Evolution, and Programming Languages Philip Wadler University of Edinburgh Evolution Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2006-11-02 12:48:09
49	Notes on Functional Programming with Haskell H. Conrad Cunningham [removed] Software Architecture Research Group Add to Reading List Source URL: john.cs.olemiss.edu Language: English - Date: 2010-08-24 08:19:10 Functional languages Literate programming Functional programming Haskell Hugs Philip Wadler Gofer Pattern matching Type class Software engineering Computing Computer programming
50	Notes on Functional Programming with Haskell H. Conrad Cunningham [removed] Multiparadigm Software Architecture Group Add to Reading List Source URL: www.cs.olemiss.edu Language: English - Date: 2014-11-10 22:48:40 Functional programming Functional languages Literate programming Data types Type theory Haskell Hugs Philip Wadler Pattern matching Software engineering Computing Computer programming